min [ X , min $integral dY$ $partialdiff sub X$ ( WORLDBATH432 bath ) ]